/home/correa/workspace/pargo-instances/clique/dimacs/C250.9.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.03 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 1759 rows, 2009 columns, and 6036 nonzeros.
Reduced MIP has 250 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.01 sec. (2.62 ticks)
Probing time = 0.00 sec. (1.09 ticks)
Tried aggregator 1 time.
Presolve time = 0.01 sec. (2.67 ticks)
Probing time = 0.00 sec. (1.09 ticks)
Clique table members: 1760.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.15 sec. (132.08 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      250.0000     1523     --- 
      0     0       77.6358   249        0.0000       77.6358     1523     --- 
*     0+    0                           40.0000       77.6358     1523   94.09%
      0     0       76.3311   250       40.0000      User: 68     1813   90.83%
      0     0       75.0747   248       40.0000      Cuts: 93     2176   87.69%
*     0+    0                           41.0000       75.0747     2176   83.11%
      0     0       74.0015   249       41.0000     Cuts: 106     2540   80.49%
      0     0       73.3295   247       41.0000      Cuts: 91     2804   78.85%
      0     0       72.9174   248       41.0000      Cuts: 74     3109   77.85%
      0     0       72.7465   245       41.0000      Cuts: 19     3295   77.43%
      0     0       72.4246   249       41.0000      Cuts: 78     3581   76.65%
      0     0       72.2861   250       41.0000      Cuts: 70     3715   76.31%
      0     0       71.9417   250       41.0000      Cuts: 46     3935   75.47%
      0     0       71.6028   251       41.0000      Cuts: 54     4131   74.64%
      0     0       71.4639   250       41.0000      Cuts: 34     4274   74.30%
      0     0       71.2544   249       41.0000      Cuts: 23     4437   73.79%
      0     0       71.1774   249       41.0000      Cuts: 29     4572   73.60%
      0     0       70.9627   249       41.0000      Cuts: 19     4771   73.08%
      0     0       70.8049   250       41.0000      Cuts: 48     4930   72.69%
      0     0       70.6762   250       41.0000      Cuts: 16     5067   72.38%
      0     0       70.6092   250       41.0000      Cuts: 32     5165   72.22%
      0     0       70.5348   250       41.0000      Cuts: 22     5261   72.04%
*     0+    0                           42.0000       70.5348     5261   67.94%
      0     0       70.5181   251       42.0000      Cuts: 18     5312   67.90%
      0     0       70.5029   250       42.0000       Cuts: 9     5362   67.86%
      0     0       70.4338   250       42.0000      Cuts: 34     5466   67.70%
      0     0       70.3953   250       42.0000      Cuts: 14     5558   67.61%
*     0+    0                           43.0000       70.3953     5558   63.71%
      0     0       70.3695   251       43.0000      Cuts: 13     5619   63.65%
      0     0       70.3435   250       43.0000      Cuts: 13     5683   63.59%
      0     0       70.3268   250       43.0000       Cuts: 6     5722   63.55%
      0     0       70.2673   251       43.0000       Cuts: 7     5813   63.41%
      0     0       70.2130   251       43.0000      Cuts: 21     5905   63.29%
      0     0       70.1410   251       43.0000      Cuts: 24     6011   63.12%
      0     0       70.0022   251       43.0000      Cuts: 23     6134   62.80%
      0     0       69.9686   250       43.0000      Cuts: 11     6193   62.72%
      0     0       69.9103   250       43.0000      Cuts: 22     6269   62.58%
      0     0       69.8610   250       43.0000      Cuts: 19     6349   62.47%
      0     0       69.8200   251       43.0000      Cuts: 14     6443   62.37%
      0     0       69.7359   250       43.0000      Cuts: 17     6578   62.18%
      0     0       69.7090   250       43.0000      Cuts: 16     6647   62.11%
      0     0       69.6822   249       43.0000      Cuts: 19     6739   62.05%
      0     0       69.6701   249       43.0000      Cuts: 11     6787   62.02%
      0     0       69.6640   249       43.0000      Cuts: 12     6830   62.01%
      0     0       69.6545   250       43.0000       Cuts: 7     6865   61.99%
      0     0       69.5966   251       43.0000      Cuts: 10     6968   61.85%
      0     0       69.4916   250       43.0000      Cuts: 17     7085   61.61%
      0     0       69.4087   251       43.0000      Cuts: 12     7215   61.42%
      0     0       69.3626   251       43.0000      Cuts: 16     7293   61.31%
      0     0       69.3342   251       43.0000      Cuts: 22     7398   61.24%
      0     0       69.3180   251       43.0000      Cuts: 17     7479   61.20%
      0     0       69.2921   250       43.0000 UserPurge2: 7     7558   61.14%
      0     0       69.2800   251       43.0000       Cuts: 8     7615   61.12%
      0     0       69.2615   251       43.0000      Cuts: 13     7670   61.07%
      0     0       69.2371   251       43.0000       Cuts: 9     7739   61.02%
      0     0       69.2248   251       43.0000      Cuts: 13     7788   60.99%
      0     0       69.1906   250       43.0000      Cuts: 12     7880   60.91%
      0     0       69.1782   251       43.0000      Cuts: 19     7937   60.88%
      0     0       69.1752   251       43.0000 UserPurge2: 2     7966   60.87%
      0     0       69.0995   250       43.0000      Cuts: 10     8106   60.70%
      0     0       69.0941   250       43.0000       Cuts: 8     8141   60.68%
      0     0       69.0841   250       43.0000       Cuts: 6     8198   60.66%
      0     0       69.0680   251       43.0000      Cuts: 10     8257   60.62%
      0     0       69.0643   251       43.0000       Cuts: 4     8295   60.61%
      0     0       69.0442   251       43.0000       Cuts: 7     8366   60.57%
      0     0       69.0289   250       43.0000      Cuts: 11     8425   60.53%
      0     0       69.0114   251       43.0000       Cuts: 9     8482   60.49%
      0     0       69.0016   251       43.0000       Cuts: 5     8537   60.47%
      0     0       68.9961   251       43.0000       Cuts: 8     8575   60.46%
      0     0       68.9802   250       43.0000       Cuts: 6     8622   60.42%
      0     0       68.9616   250       43.0000      Cuts: 10     8683   60.38%
      0     0       68.9462   251       43.0000 UserPurge2: 7     8749   60.34%
      0     0       68.9301   251       43.0000      Cuts: 11     8797   60.30%
      0     0       68.9237   251       43.0000       Cuts: 5     8839   60.29%
      0     0       68.9127   250       43.0000 UserPurge2: 4     8893   60.26%
      0     0       68.8845   250       43.0000       Cuts: 9     8953   60.20%
      0     0       68.8617   250       43.0000 UserPurge2: 5     9000   60.14%
      0     0       68.8323   250       43.0000       Cuts: 9     9054   60.08%
      0     0       68.7749   251       43.0000      Cuts: 10     9139   59.94%
      0     0       68.7278   251       43.0000       Cuts: 9     9201   59.83%
      0     0       68.7092   251       43.0000       Cuts: 8     9263   59.79%
      0     0       68.6983   251       43.0000       Cuts: 7     9300   59.76%
      0     0       68.6765   251       43.0000      Cuts: 12     9367   59.71%
      0     0       68.6584   250       43.0000       Cuts: 8     9432   59.67%
      0     0       68.6517   250       43.0000       Cuts: 6     9464   59.66%
      0     0       68.6308   250       43.0000       Cuts: 6     9523   59.61%
      0     0       68.6283   250       43.0000 UserPurge2: 4     9558   59.60%
      0     0       68.6266   250       43.0000 UserPurge2: 2     9576   59.60%
      0     0       68.6186   250       43.0000 UserPurge2: 6     9612   59.58%
      0     0       68.5949   250       43.0000 UserPurge2: 4     9669   59.52%
      0     0       68.5770   250       43.0000 UserPurge2: 3     9729   59.48%
      0     0       68.5679   251       43.0000 UserPurge2: 6     9764   59.46%
      0     0       68.5588   250       43.0000 UserPurge2: 4     9808   59.44%
      0     0       68.5511   251       43.0000 UserPurge2: 5     9859   59.42%
      0     0       68.5416   251       43.0000 UserPurge2: 2     9908   59.40%
      0     0       68.5359   251       43.0000       Cuts: 5     9946   59.39%
      0     0       68.5279   251       43.0000 UserPurge2: 4     9990   59.37%
      0     0       68.5215   251       43.0000 UserPurge2: 3    10042   59.35%
      0     0       68.5107   251       43.0000      Cuts: 13    10084   59.33%
      0     0       68.5078   251       43.0000 UserPurge2: 3    10108   59.32%
      0     0       68.4951   251       43.0000      Cuts: 10    10160   59.29%
      0     0       68.4928   251       43.0000 UserPurge2: 3    10189   59.29%
      0     0       68.4884   251       43.0000 UserPurge2: 1    10216   59.28%
      0     0       68.4681   251       43.0000 UserPurge2: 7    10268   59.23%
      0     0       68.4632   251       43.0000       Cuts: 6    10300   59.22%
      0     0       68.4536   251       43.0000 UserPurge2: 6    10340   59.19%
      0     0       68.4459   251       43.0000 UserPurge2: 6    10369   59.18%
      0     0       68.4367   251       43.0000 UserPurge2: 4    10412   59.16%
      0     0       68.4283   251       43.0000 UserPurge2: 7    10448   59.14%
      0     0       68.4158   251       43.0000       Cuts: 8    10492   59.11%
      0     0       68.4147   251       43.0000 UserPurge2: 2    10509   59.10%
      0     0       68.4119   251       43.0000       Cuts: 9    10536   59.10%
      0     0       68.4030   251       43.0000 UserPurge2: 6    10584   59.08%
      0     0       68.3931   251       43.0000       Cuts: 5    10651   59.05%
      0     0       68.3887   251       43.0000 UserPurge2: 5    10669   59.04%
      0     0       68.3690   251       43.0000 UserPurge2: 5    10725   59.00%
      0     0       68.3642   251       43.0000 UserPurge2: 4    10754   58.99%
      0     0       68.3532   251       43.0000 UserPurge2: 2    10810   58.96%
      0     0       68.3531   251       43.0000       User: 2    10811   58.96%
      0     0       68.3416   251       43.0000 UserPurge2: 3    10854   58.93%
      0     0       68.3159   251       43.0000 UserPurge2: 5    10922   58.87%
      0     0       68.3108   251       43.0000 UserPurge2: 5    10956   58.86%
      0     0       68.3041   251       43.0000 UserPurge2: 4    10995   58.85%
      0     0       68.2948   251       43.0000 UserPurge2: 5    11037   58.83%
      0     0       68.2914   251       43.0000 UserPurge2: 3    11072   58.82%
      0     0       68.2782   251       43.0000 UserPurge2: 4    11127   58.79%
      0     0       68.2739   251       43.0000 UserPurge2: 3    11154   58.78%
      0     0       68.2671   251       43.0000 UserPurge2: 6    11188   58.76%
      0     0       68.2608   251       43.0000       Cuts: 6    11233   58.75%
      0     0       68.2577   251       43.0000 UserPurge2: 2    11267   58.74%
      0     0       68.2568   251       43.0000       Cuts: 7    11284   58.74%
      0     0       68.2487   251       43.0000 UserPurge2: 3    11323   58.72%
      0     0       68.2456   251       43.0000 UserPurge2: 3    11345   58.71%
      0     0       68.2403   250       43.0000 UserPurge2: 3    11373   58.70%
      0     0       68.2328   250       43.0000 UserPurge2: 8    11399   58.68%
      0     0       68.2258   251       43.0000 UserPurge2: 6    11439   58.66%
      0     2       68.2258   251       43.0000  Local Cut: 1    11439   58.66%                        0             0
Elapsed time = 63.07 sec. (57236.84 ticks, tree = 0.00 MB, solutions = 5)
      1     3       67.9924   250       43.0000       68.2258    12828   58.66%            x249 N      1      0      1
      2     4       67.8973   248       43.0000       68.2258    13315   58.66%            x140 N      2      1      2
      3     5       67.7660   247       43.0000       68.2258    13809   58.66%             x58 N      3      2      3
      4     6       67.5974   247       43.0000       68.2258    14202   58.66%             x19 N      4      3      4
      5     7       67.3987   246       43.0000       68.2258    15134   58.66%             x43 N      5      4      5
      6     8       67.1385   245       43.0000       68.2258    15564   58.66%             x23 N      6      5      6
      7     9       67.0007   244       43.0000       68.2258    16191   58.66%             x66 N      7      6      7
      8    10       66.7978   243       43.0000       68.2258    17139   58.66%            x162 N      8      7      8
      9    11       66.5023   242       43.0000       68.2258    18142   58.66%            x175 N      9      8      9
     10    12       66.3363   241       43.0000       68.2258    18952   58.66%             x90 N     10      9     10
Elapsed time = 83.66 sec. (73410.90 ticks, tree = 0.09 MB, solutions = 5)
     11    13       65.9916   240       43.0000       68.2258    20222   58.66%             x31 N     11     10     11
     13    15       65.6070   238       43.0000       68.2258    21517   58.66%            x176 N     13     12     13
     15    17       65.1913   236       43.0000       68.2258    22432   58.66%            x208 N     15     14     15
     17    19       64.8285   234       43.0000       68.2258    23556   58.66%            x142 N     17     16     17
     18    20       64.5244   233       43.0000       68.2258    24356   58.66%             x97 N     18     17     18
     20    22       64.2312   231       43.0000       68.2258    25085   58.66%            x203 N     20     19     20
     22    24       63.9737   229       43.0000       68.2258    25713   58.66%            x178 N     22     21     22
     24    26       63.6010   227       43.0000       68.2258    26648   58.66%              x4 N     24     23     24
     26    28       63.2899   224       43.0000       68.2258    27441   58.66%             x59 N     26     25     26
     28    30       63.0313   221       43.0000       68.2258    28077   58.66%            x172 N     28     27     28
Elapsed time = 101.54 sec. (88652.06 ticks, tree = 0.12 MB, solutions = 5)
     30    32       62.6595   219       43.0000       68.2258    28888   58.66%            x186 N     30     29     30
     32    34       62.4433   218       43.0000       68.2258    29363   58.66%             x24 N     32     31     32
     34    36       62.0159   216       43.0000       68.2258    29888   58.66%             x50 N     34     33     34
     36    38       61.5117   214       43.0000       68.2258    30739   58.66%            x148 N     36     35     36
     38    40       61.0971   212       43.0000       68.2258    31364   58.66%            x217 N     38     37     38
     40    42       60.6031   210       43.0000       68.2258    32070   58.66%            x246 N     40     39     40
     41    43       60.4260   208       43.0000       68.2258    32409   58.66%            x230 N     41     40     41
     43    45       60.0451   206       43.0000       68.2258    33142   58.66%             x76 N     43     42     43
     45    47       59.6467   204       43.0000       68.2258    33727   58.66%             x28 N     45     44     45
     47    49       59.2977   203       43.0000       68.2258    34393   58.66%            x130 N     47     46     47
Elapsed time = 119.94 sec. (104904.90 ticks, tree = 0.42 MB, solutions = 5)
     49    51       58.9843   202       43.0000       68.2258    34965   58.66%             x47 N     49     48     49
     51    53       58.6655   200       43.0000       68.2258    35542   58.66%            x202 N     51     50     51
     53    55       58.1568   197       43.0000       68.2258    36409   58.66%             x60 N     53     52     53
     55    57       57.7683   196       43.0000       68.2258    36916   58.66%             x15 N     55     54     55
     57    59       57.0867   192       43.0000       68.2258    37576   58.66%            x224 N     57     56     57
     59    61       56.6913   192       43.0000       68.2258    38108   58.66%             x41 N     59     58     59
     60    62       56.5409   191       43.0000       68.2258    38344   58.66%            x207 N     60     59     60
     62    64       56.0925   189       43.0000       68.2258    38932   58.66%            x109 N     62     61     62
     64    66       55.6310   186       43.0000       68.2258    39446   58.66%            x163 N     64     63     64
     66    68       55.0885   182       43.0000       68.2258    40006   58.66%            x115 N     66     65     66
Elapsed time = 135.05 sec. (118771.90 ticks, tree = 0.56 MB, solutions = 5)
     68    70       54.5494   181       43.0000       68.2258    40327   58.66%            x100 N     68     67     68
     70    72       53.9359   179       43.0000       68.2258    40976   58.66%            x174 N     70     69     70
     72    74       53.4843   178       43.0000       68.2258    41338   58.66%             x94 N     72     71     72
     74    76       53.0840   175       43.0000       68.2258    41892   58.66%             x29 N     74     73     74
     76    78       52.5251   172       43.0000       68.2258    42485   58.66%             x36 N     76     75     76
     78    80       52.0348   170       43.0000       68.2258    42968   58.66%            x210 N     78     77     78
     80    82       51.4692   168       43.0000       68.2258    43673   58.66%            x201 N     80     79     80
     82    84       51.0695   165       43.0000       68.2258    44230   58.66%             x81 N     82     81     82
     84    86       50.4367   164       43.0000       68.2258    44922   58.66%             x87 N     84     83     84
     86    88       50.0713   162       43.0000       68.2258    45479   58.66%             x40 N     86     85     86
Elapsed time = 152.48 sec. (135475.53 ticks, tree = 0.80 MB, solutions = 5)
     88    90       49.7235   160       43.0000       68.2258    45963   58.66%            x138 N     88     87     88
     90    92       49.2609   158       43.0000       68.2258    46498   58.66%            x167 N     90     89     90
     92    94       48.7527   154       43.0000       68.2258    47064   58.66%            x182 N     92     91     92
     94    96       48.2724   152       43.0000       68.2258    47692   58.66%            x232 N     94     93     94
     96    98       47.8932   151       43.0000       68.2258    48014   58.66%            x169 D     96     95     96
    104   106       45.9635   143       43.0000       68.2258    49273   58.66%             x63 D    104    103    104
    112   114       44.2510   135       43.0000       68.2258    50405   58.66%            x117 D    112    111    112
    120   118       63.2778   217       43.0000       67.9924    53036   58.12%            x183 D    120    119      5
    128   126       61.7103   210       43.0000       67.9924    54910   58.12%            x175 D    128    127     13
    135   133       60.3670   203       43.0000       67.9924    56331   58.12%            x143 D    135    134     20
Elapsed time = 164.71 sec. (148272.79 ticks, tree = 1.32 MB, solutions = 5)
    142   140       58.7975   195       43.0000       67.9924    57228   58.12%             x64 D    142    141     27
    150   148       57.2926   187       43.0000       67.9924    58008   58.12%            x137 D    150    149     35
    158   156       55.7096   180       43.0000       67.9924    58654   58.12%            x112 D    158    157     43
    164   162       54.2603   174       43.0000       67.9924    59070   58.12%            x151 D    164    163     49
    172   170       52.2519   164       43.0000       67.9924    59808   58.12%            x120 D    172    171     57
    180   178       50.5316   156       43.0000       67.9924    60410   58.12%            x142 D    180    179     65
    188   186       48.8396   144       43.0000       67.9924    60924   58.12%            x127 D    188    187     73
    196   194       46.9639   137       43.0000       67.9924    61480   58.12%              x8 D    196    195     81
    204   202       45.1538   128       43.0000       67.9924    61879   58.12%            x117 D    204    203     89
    211   205       64.6559   227       43.0000       67.8973    64111   57.90%            x143 D    211    210      3
Elapsed time = 172.86 sec. (158377.56 ticks, tree = 1.47 MB, solutions = 5)
    216   210       63.8130   221       43.0000       67.8973    66018   57.90%            x157 D    216    215      8
    220   214       63.0795   218       43.0000       67.8973    66992   57.90%            x198 D    220    219     12
    228   222       61.7725   210       43.0000       67.8973    68774   57.90%            x101 D    228    227     20
    236   230       60.3784   201       43.0000       67.8973    70225   57.90%            x145 D    236    235     28
    244   238       58.9541   193       43.0000       67.8973    71458   57.90%             x41 D    244    243     36
    252   246       56.9761   184       43.0000       67.8973    72569   57.90%            x154 D    252    251     44
    260   254       55.3089   177       43.0000       67.8973    73822   57.90%            x181 D    260    259     52
    268   262       53.4254   168       43.0000       67.8973    74810   57.90%            x233 D    268    267     60
    276   270       51.4436   160       43.0000       67.8973    75751   57.90%            x175 D    276    275     68
    283   277       49.9176   152       43.0000       67.8973    76548   57.90%             x95 D    283    282     75
Elapsed time = 181.97 sec. (168955.63 ticks, tree = 1.62 MB, solutions = 5)
    290   284       48.3921   147       43.0000       67.8973    77227   57.90%             x40 D    290    289     82
    298   292       46.6992   134       43.0000       67.8973    78061   57.90%             x97 D    298    297     90
    305   299       45.2370   127       43.0000       67.8973    78629   57.90%            x163 D    305    304     97
    313   303       64.3721   226       43.0000       67.7660    80824   57.60%             x58 U    313      2      3
    320   310       63.3389   219       43.0000       67.7660    82209   57.60%            x165 D    320    319     10
    328   318       62.0106   211       43.0000       67.7660    83926   57.60%            x153 D    328    327     18
    336   326       60.4924   202       43.0000       67.7660    85480   57.60%            x135 D    336    335     26
    344   334       58.9581   193       43.0000       67.7660    86934   57.60%            x125 D    344    343     34
    352   342       57.5813   185       43.0000       67.7660    88212   57.60%            x163 D    352    351     42
    360   350       55.9308   177       43.0000       67.7660    89403   57.60%             x76 D    360    359     50
Elapsed time = 191.32 sec. (179897.67 ticks, tree = 1.76 MB, solutions = 5)
    368   358       54.4409   168       43.0000       67.7660    90369   57.60%            x178 D    368    367     58
    376   366       52.6102   159       43.0000       67.7660    91501   57.60%            x245 D    376    375     66
    384   374       51.1672   153       43.0000       67.7660    92401   57.60%             x43 D    384    383     74
    392   382       49.4945   144       43.0000       67.7660    93271   57.60%            x232 D    392    391     82
    400   390       48.2030   137       43.0000       67.7660    93944   57.60%             x83 D    400    399     90
    408   398       46.5614   126       43.0000       67.7660    94524   57.60%            x101 D    408    407     98
    416   406       44.6667   115       43.0000       67.7660    95042   57.60%            x121 D    416    415    106
    423   409       63.9422   219       43.0000       67.5974    97971   57.20%            x166 D    423    422      7
    430   416       62.7563   212       43.0000       67.5974    99710   57.20%             x10 D    430    429     14
    458   444       57.6525   185       43.0000       67.5974   105373   57.20%             x29 D    458    457     42
Elapsed time = 202.54 sec. (193406.98 ticks, tree = 1.96 MB, solutions = 5)
    486   472       51.7087   158       43.0000       67.5974   109107   57.20%            x156 D    486    485     70
    516   502       44.2290   124       43.0000       67.5974   112243   57.20%            x228 D    516    515    100
    540   522       59.9120   200       43.0000       67.3987   118897   56.74%            x246 D    540    539     26
    567   549       54.4818   172       43.0000       67.3987   123095   56.74%             x56 D    567    566     53
    596   578       48.2830   139       43.0000       67.3987   126894   56.74%            x105 D    596    595     82
    626   604       61.5211   207       43.0000       67.1385   132347   56.14%            x105 D    626    625     16
    654   632       55.9897   179       43.0000       67.1385   137211   56.14%             x61 D    654    653     44
    684   662       49.8595   148       43.0000       67.1385   140679   56.14%             x25 D    684    683     74
    714   688       61.7815   212       43.0000       67.0007   146091   55.82%             x28 D    714    713     12
    742   716       55.6212   183       43.0000       67.0007   151803   55.82%             x63 D    742    741     40
Elapsed time = 235.39 sec. (232677.52 ticks, tree = 2.47 MB, solutions = 5)
    771   745       48.8285   151       43.0000       67.0007   156172   55.82%            x186 D    771    770     69
    799   769       62.0513   209       43.0000       66.7978   161920   55.34%            x167 D    799    798     15
    824   794       56.9207   184       43.0000       66.7978   166302   55.34%            x164 D    824    823     40
    854   824       50.1652   152       43.0000       66.7978   170175   55.34%             x40 D    854    853     70
    884   850       62.1035   212       43.0000       66.5023   175480   54.66%            x206 D    884    883     12
    912   878       56.4552   184       43.0000       66.5023   181405   54.66%            x237 D    912    911     40
    942   908       49.6491   151       43.0000       66.5023   185672   54.66%             x88 D    942    941     70
    972   934       61.2630   209       43.0000       66.3363   190234   54.27%            x154 D    972    971     11
   1000   962       55.3538   179       43.0000       66.3363   194932   54.27%            x204 D   1000    999     39
   1030   992       48.8156   148       43.0000       66.3363   198501   54.27%             x14 D   1030   1029     69
Elapsed time = 268.09 sec. (272033.69 ticks, tree = 3.03 MB, solutions = 5)
   1060  1018       62.1302   213       43.0000       65.9916   203048   53.47%            x127 D   1060   1059     13
   1088  1046       57.1832   185       43.0000       65.9916   208526   53.47%             x75 D   1088   1087     41
   1118  1076       50.4362   152       43.0000       65.9916   212879   53.47%            x245 D   1118   1117     71
   1146  1100       61.9911   212       43.0000       65.7098   218023   52.81%            x228 D   1146   1145     13
   1174  1128       55.8563   183       43.0000       65.7098   223245   52.81%             x56 D   1174   1173     41
   1204  1158       49.5356   153       43.0000       65.7098   227165   52.81%             x33 D   1204   1203     71
   1234  1184       62.4433   216       43.0000       65.6070   231839   52.57%             x56 D   1234   1233     14
   1262  1212       57.1916   185       43.0000       65.6070   237547   52.57%            x102 D   1262   1261     42
   1292  1242       50.9484   154       43.0000       65.6070   241902   52.57%            x134 D   1292   1291     72
   1329  1275       61.4995   210       43.0000       65.4394   247562   52.18%             x61 U   1329     13     14
Elapsed time = 300.73 sec. (311706.01 ticks, tree = 3.66 MB, solutions = 5)
   1429  1371       58.9015   193       43.0000       65.1913   264936   51.61%            x163 D   1429   1428     30
   1541  1479       54.6673   175       43.0000       65.0731   281428   51.33%            x247 D   1541   1540     51
   1632  1566       54.0346   167       43.0000       64.8285   295111   50.76%              x0 D   1632   1631     55
   1742  1672       49.9117   142       43.0000       64.6969   312103   50.46%            x152 D   1742   1741     79
   1865  1787       59.1808   192       43.0000       64.5244   328567   50.06%             x61 D   1865   1864     16
   1975  1893       54.3326   170       43.0000       64.4815   345241   49.96%             x73 D   1975   1974     54
   2108  2022       45.4596   125       43.0000       64.4288   360739   49.83%             x68 D   2108   2107     82
   2221  2127       57.2891   181       43.0000       64.3222   377638   49.59%             x67 D   2221   2220     27
   2329  2231       52.6976   159       43.0000       64.2977   394561   49.53%            x165 D   2329   2328     66
   2451  2349       44.3228   111       43.0000       64.2504   409031   49.42%              x2 D   2451   2450     88
Elapsed time = 343.66 sec. (350024.16 ticks, tree = 5.94 MB, solutions = 5)
   2563  2453       56.2793   175       43.0000       64.2312   425970   49.37%             x85 D   2563   2562     36
   2681  2567       46.8515   136       43.0000       64.1559   442387   49.20%             x78 D   2681   2680     84
   2800  2678       54.6188   169       43.0000       64.0966   458918   49.06%            x164 D   2800   2799     30
   2924  2794       59.2099   201       43.0000       64.0614   475119   48.98%            x178 U   2924     21     22
   3044  2910       50.8505   149       43.0000       64.0248   491227   48.89%            x141 D   3044   3043     50
   3172  3030       58.6139   191       43.0000       63.9737   507408   48.78%            x142 D   3172   3171     16
   3281  3135       53.1135   167       43.0000       63.9422   523957   48.70%            x206 D   3281   3280     62
   3403  3249       60.4203   198       43.0000       63.8442   540807   48.47%            x206 U   3403    117      3
   3517  3359       53.4510   168       43.0000       63.8328   557379   48.45%              x1 D   3517   3516     56
   3638  3472       59.0432   190       43.0000       63.7555   573360   48.27%            x212 U   3638    216      9
Elapsed time = 386.94 sec. (388468.50 ticks, tree = 8.18 MB, solutions = 5)
   3760  3590       47.7549   138       43.0000       63.6999   589738   48.14%            x171 D   3760   3759     61
   3882  3704       55.9531   172       43.0000       63.6010   606037   47.91%            x175 D   3882   3881     33
   3997  3815       48.6869   149       43.0000       63.5895   622493   47.88%             x99 D   3997   3996     83
   4114  3924       59.5951   190       43.0000       63.5147   638871   47.71%            x126 D   4114   4113     16
   4240  4046       50.0275   144       43.0000       63.5126   654920   47.70%            x110 D   4240   4239     54
   4369  4167       55.7225   175       43.0000       63.4467   671001   47.55%             x12 D   4369   4368     27
   4499  4289       60.3489   198       43.0000       63.3869   687191   47.41%             x44 U   4499    426     11
   4605  4391       53.1007   166       43.0000       63.3830   704031   47.40%            x114 D   4605   4604     58
   4731  4509       58.3262   187       43.0000       63.3389   720426   47.30%             x99 D   4731   4730     14
   4860  4634       47.9965   134       43.0000       63.2899   736529   47.19%            x160 D   4860   4859     68
Elapsed time = 430.48 sec. (426768.98 ticks, tree = 10.63 MB, solutions = 5)
   4971  4737       57.4897   186       43.0000       63.2329   753526   47.05%            x139 D   4971   4970     15
   5105  4867       47.2757   128       43.0000       63.2114   769565   47.00%             x79 D   5105   5104     77
   5233  4987       53.5957   162       43.0000       63.1801   785714   46.93%             x10 D   5233   5232     45
   5345  5095       46.8338   137       43.0000       63.1707   802128   46.91%            x117 D   5345   5344     96
   5472  5214       52.5894   159       43.0000       63.1101   818311   46.77%            x227 D   5472   5471     42
   5600  5334       55.7274   175       43.0000       63.0781   832979   46.69%            x141 D   5600   5599     27
   5734  5460       59.6336   191       43.0000       63.0313   848896   46.58%             x84 D   5734   5733     15
   5842  5564       51.0034   159       43.0000       63.0299   865865   46.58%            x247 D   5842   5841     69
   5966  5680       55.2640   168       43.0000       62.9846   882269   46.48%             x39 D   5966   5965     34
   6092  5798       60.7342   198       43.0000       62.9595   898324   46.42%             x89 U   6092    617      8
Elapsed time = 472.88 sec. (465393.26 ticks, tree = 12.97 MB, solutions = 5)
   6219  5921       48.2533   137       43.0000       62.9584   914600   46.41%            x195 D   6219   6218     61
   6348  6042       52.4263   161       43.0000       62.9170   930610   46.32%             x14 D   6348   6347     48
   6470  6156       56.5598   180       43.0000       62.9064   945385   46.29%             x91 D   6470   6469     21
   6598  6276       58.2314   192       43.0000       62.8540   961783   46.17%            x186 U   6598     29     30
   6721  6395       48.4090   140       43.0000       62.8353   977917   46.13%             x46 D   6721   6720     62
   6840  6506       53.3821   163       43.0000       62.7751   994030   45.99%             x57 D   6840   6839     43
   6973  6631       56.3767   176       43.0000       62.7586  1009764   45.95%            x104 D   6973   6972     26
   7111  6761       58.6142   189       43.0000       62.7072  1025508   45.83%            x127 D   7111   7110     20
   7242  6888       45.9963   121       43.0000       62.6846  1040666   45.78%            x197 D   7242   7241     76
   7370  7008       49.6379   147       43.0000       62.6595  1056906   45.72%              x2 D   7370   7369     50
Elapsed time = 515.32 sec. (503853.83 ticks, tree = 15.34 MB, solutions = 5)
   7486  7116       54.7651   169       43.0000       62.6574  1073613   45.71%             x21 D   7486   7485     35
   7616  7238       57.2957   184       43.0000       62.5934  1089569   45.57%             x91 D   7616   7615     21
   7744  7362       45.4401   129       43.0000       62.5797  1105745   45.53%            x137 D   7744   7743     74
   7871  7481       48.8993   141       43.0000       62.5540  1122501   45.47%            x168 D   7871   7870     64
   8000  7602       55.3694   166       43.0000       62.5378  1137521   45.44%            x203 D   8000   7999     32
   8138  7732       58.2487   184       43.0000       62.5011  1154002   45.35%              x4 U   8138    882     11
   8268  7858       47.0652   128       43.0000       62.4938  1170478   45.33%             x59 D   8268   8267     75
   8378  7960       53.1446   166       43.0000       62.4508  1187590   45.23%            x237 D   8378   8377     44
   8505  8079       55.0880   173       43.0000       62.4433  1204337   45.22%            x223 D   8505   8504     24
   8626  8196       46.6223   135       43.0000       62.4433  1220545   45.22%            x224 D   8626   8625     97
Elapsed time = 557.04 sec. (542456.09 ticks, tree = 17.90 MB, solutions = 5)
   8746  8308       52.5716   162       43.0000       62.3650  1237469   45.03%            x162 D   8746   8745     42
   8862  8420       44.5555   114       43.0000       62.3417  1250933   44.98%             x11 D   8862   8861     85
   8982  8532       51.4521   149       43.0000       62.3379  1267271   44.97%            x121 D   8982   8981     56
   9105  8647       54.7819   172       43.0000       62.3251  1283882   44.94%            x187 D   9105   9104     30
   9227  8761       59.2344   190       43.0000       62.3128  1299046   44.91%            x189 U   9227    225     18
   9359  8889       47.7931   129       43.0000       62.3009  1314865   44.89%             x55 D   9359   9358     74
   9484  9006       51.8574   156       43.0000       62.2669  1331471   44.81%            x217 D   9484   9483     45
   9600  9114       55.7277   178       43.0000       62.2308  1346660   44.72%            x143 D   9600   9599     38
   9733  9239       59.4881   191       43.0000       62.2226  1362684   44.70%             x85 U   9733    433     18
   9863  9365       47.5172   136       43.0000       62.1835  1378507   44.61%            x189 D   9863   9862     68
Elapsed time = 599.45 sec. (580911.40 ticks, tree = 20.32 MB, solutions = 5)
   9987  9481       49.3725   148       43.0000       62.1752  1395013   44.59%            x186 D   9987   9986     58
  10114  9600       52.9057   161       43.0000       62.1450  1410993   44.52%              x5 D  10114  10113     41
  10247  9725       55.7213   175       43.0000       62.1227  1427057   44.47%             x98 D  10247  10246     31
  10381  9851       57.5891   179       43.0000       62.1035  1443153   44.43%            x113 D  10381  10380     15
  10508  9974       44.2500   112       43.0000       62.0827  1458136   44.38%              x8 D  10508  10507     77
  10638 10096       46.6329   124       43.0000       62.0326  1474208   44.26%            x148 D  10638  10637     76
  10751 10201       51.6296   163       43.0000       62.0106  1490997   44.21%            x226 D  10751  10750     69
  10879 10321       55.4341   175       43.0000       61.9988  1506926   44.18%            x125 D  10879  10878     41
  11010 10444       59.5368   191       43.0000       61.9911  1523230   44.17%            x225 U  11010   1061     15
  11139 10569       45.8549   126       43.0000       61.9892  1539555   44.16%            x160 D  11139  11138     72
Elapsed time = 641.75 sec. (619311.52 ticks, tree = 22.70 MB, solutions = 5)
  11266 10688       48.3229   132       43.0000       61.9468  1555550   44.06%            x119 D  11266  11265     56
  11399 10813       49.6480   144       43.0000       61.8719  1571549   43.89%              x9 D  11399  11398     54
  11531 10937       50.2281   140       43.0000       61.8625  1587972   43.87%            x225 D  11531  11530     55
  11652 11050       51.0961   155       43.0000       61.8436  1603656   43.82%            x139 D  11652  11651     50
  11781 11171       52.6677   155       43.0000       61.8142  1619693   43.75%            x178 D  11781  11780     43
  11914 11296       55.3815   171       43.0000       61.7804  1635829   43.68%             x67 D  11914  11913     30
  12046 11420       54.7094   168       43.0000       61.7725  1652078   43.66%             x14 D  12046  12045     36
  12173 11539       54.1246   166       43.0000       61.7553  1668355   43.62%            x227 D  12173  12172     41
  12310 11668       54.9034   170       43.0000       61.7390  1683940   43.58%             x83 D  12310  12309     31
  12433 11783       56.8792   178       43.0000       61.7120  1698625   43.52%            x108 D  12433  12432     26
Elapsed time = 683.69 sec. (657664.98 ticks, tree = 25.19 MB, solutions = 5)
  12564 11906       56.7523   180       43.0000       61.7030  1714625   43.50%             x29 D  12564  12563     19
